it would be a fact that

事实是